AN EXTENDED JOINT CONSISTENCY THEOREM FOR FREE LOGIC WITH EQUALITYGUMB RD.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 321-335; BIBL. 4 REF.Article

LOGICAL AND PROBABILITY ANALYSIS OF SYSTEMS.LOCKS MO.1978; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1978; VOL. 19; NO 1; PP. 123-136; BIBL. 14 REF.Article

MORE LOGICS WITHOUT TAUTOLOGIESSIMONS L.1978; NOTRE DAME J. FORM. LOGIC; USA; DA. 1978; VOL. 19; NO 4; PP. 543-557Article

AN AUTOMATIC THEOREM PROVER FOR SUBSTITUTION AND DETACHMENT SYSTEMS.PETERSON JG.1978; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1978; VOL. 19; NO 1; PP. 119-122; BIBL. 7 REF.Article

GOEDEL'S SECOND INCOMPLETENESS THEOREM FOR Q.BEZBORUAH A; SHEPHERDSON JC.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 2; PP. 503-512; BIBL. 16 REF.Article

NOTE ON AN INDEPENDENCE PROOF OF JOHANSSON.NEMESSZEGHY EA.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 438; BIBL. 1 REF.Article

VARIATIONS OF ZORN'S LEMMA, PRINCIPLES OF COFINALITY, AND HAUSDORFF'S MAXIMAL PRINCIPLE. I. SET FORM.HARPER JM; RUBIN JE.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 4; PP. 565-588; BIBL. 30 REF.Article

AN ARITHMETICAL RECONSTRUCTION OF THE LIAR'S ANTINOMY USING ADDITION AND MULTIPLICATION.GERMANO G.1976; NOTRE DAME J. FORM. LOGIC.; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 457-461; BIBL. 8 REF.Article

SUR L'IDENTIFICATION DES CONTRADICTIONS DANS LES THEORIES FORMELLES. IIROZONOEHR LI.1983; AVTOMATIKA I TELEMEHANIKA; ISSN 0005-2310; SUN; DA. 1983; NO 7; PP. 97-104; ABS. ENG; BIBL. 10 REF.Article

ABAILARD'S THEORY OF UNIVERSALSMALONEY JC.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 1; PP. 27-38; BIBL. 9 REF.Article

SIGNIFICANCE RANGE THEORYBRADY RT.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 2; PP. 319-345; BIBL. 8 REF.Article

SIGNIFICANCE, NECESSITY AND VERIFICATIONGODDARD L.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 2; PP. 193-215; BIBL. 7 REF.Article

A NOTE ON GOEDEL'S SECOND INCOMPLETENESS THEOREMCELLUCCI C.1980; BOLL. UN. MAT. ITAL.; ITA; DA. 1980; VOL. 17A; NO 1; PP. 137-142; ABS. ITA; BIBL. 3 REF.Article

A WEAK FREE LOGIC WITH THE EXISTENCE SIGNBENCIVENGA E.1980; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1980; VOL. 21; NO 3; PP. 572-576; BIBL. 6 REF.Article

GENERALIZATION IN FIRST-ORDER LOGICLEBLANC H.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 4; PP. 835-857; BIBL. 24 REF.Article

THE POSSIBILITY OF A CONDITIONAL LOGICBODE JR.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 147-154; BIBL. 2 REF.Article

BETH'S TABLEAUX FOR RELEVANT LOGICPABION JF.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 4; PP. 891-899; BIBL. 2 REF.Article

ON SOME SUBSTITUTION INSTANCES OF R1 AND L1.LENZEN W.1978; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1978; VOL. 19; NO 1; PP. 159-164; BIBL. 11 REF.Article

A NOTE ON THE LAW OF IDENTITY AND THE CONVERSE PARRY PROPERTY.DOSEN K.1978; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1978; VOL. 19; NO 1; PP. 174-176; BIBL. 3 REF.Article

THEORIES OF FINITE TYPE RELATED TO MATHEMATICAL PRACTICE.FEFERMAN S.1977; STUD. LOGIC. FOUND. MATH.; NETHERL.; DA. 1977; VOL. 90; PP. 913-971; BIBL. 3 P.Article

A MATHEMATICAL INCOMPLETENESS IN PEANO ARITHMETIC.PARIS J; HARRINGTON L.1977; STUD. LOGIC FOUND MATH.; NETHERL.; DA. 1977; VOL. 90; PP. 1133-1142; BIBL. 2 REF.Article

ASPECTS OF CONSTRUCTIVE MATHEMATICS.TROELSTRA AS.1977; STUD. LOGIC FOUND MATH.; NETHERL.; DA. 1977; VOL. 90; PP. 973-1052; BIBL. 5 P. 1/2Article

LARGE AND SMALL EXISTENTIALLY CLOSED STRUCTURES.SIMMONS H.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 2; PP. 379-390; BIBL. 14 REF.Article

ON FINITE LATTICES OF DEGREES OF CONSTRUCTIBILITY OF REALS.ADAMOWICZ Z.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 2; PP. 313-322; BIBL. 4 REF.Article

Page / 16